TAGs: linear inequality calculator